cocomplete category

上完全范畴